Formal Tropos: Integrating Formal Methods and Software Engineering

Authors: 
Roveri, M.
Topic: 
FormalTropos
Year of publication: 
2002
Place published: 
MRG-SRA Symposium Levanto, Italy, June 25-27 2002
AttachmentSize
1mrgsra2k.pdf1.69 MB

Back to top