An Informal Introduction to Formal Methods
Workshop; 3rd, Langley formal methods ; 1995 ; Hampton; VA
1995-01-01
28 pages
Also known as LFM 95
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal and informal public transport performance assessment: Nairobi case study
British Library Conference Proceedings | 2000
|A400M achieves formal introduction
Online Contents | 2013
Integrating formal and informal transit into one hybrid passenger transport system in Lagos, Nigeria
Online Contents | 2020
|