1 citations · 1 across the 1 of their papers we have counts for
1 paper
Manuela Bujorianu, Michael Fisher
The main workshop objective was to promote a holistic view and interdisciplinary methods for design, verification and co-ordination of aerospace systems, by combining formal method…