ian fitzgerald
FM 2005: Formal Methods
Print on DemandThis volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFor...
- 1
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFor...