An Introduction to Formal Methods for the Development of Safety-critical Applications
- Haxthausen, A. E. (Consultant)
Activity: Public and private sector consultancy › Public sector consultancy
Activity: Public and private sector consultancy › Public sector consultancy