Items where Author is "Oliveira Gomes, Artur"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 1.
Oliveira Gomes, Artur (2012) Formal Specification of the ARINC 653 Architecture Using Circus. MSc by research thesis, University of York.
Oliveira Gomes, Artur (2012) Formal Specification of the ARINC 653 Architecture Using Circus. MSc by research thesis, University of York.