Back
@misc{Kut96b, author = {Philipp W. Kutter}, title = {Integration of Statecharts in Specware and Aspects of Correct Oberon Code Generation}, month = {Jan}, year = {1996} }