Login / Signup

Some Engineering Applications of the OTS/CafeOBJ Method.

Petros S. StefaneasIakovos OuranosNikolaos TriantafyllouKaterina Ksystra
Published in: Specification, Algebra, and Software (2014)
Keyphrases