Nr. 47 (1994): RS-47 A Constraint Oriented Proof Methodology based on Modal Transition Systems

Publiceret: 1994-12-30

Artikler