Misc.

1995

An Executable Specification Language for Structure Oriented Systems


Volume
36
Number
5
First page
1126
Last page
1137

Export
BibTeX RIS