A formally specified prototyping system

Boumediene Belkhouche, Bart J. Geraci. A formally specified prototyping system. Journal of Systems and Software, 34(1):67-81, 1996. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: