Login / Signup

Integrating Semi-Formal and Formal Software Specification Techniques.

Roel J. WieringaEric Dubois
Published in: Inf. Syst. (1998)
Keyphrases