Stefano Pepi. Industrial development of a real-time operating system, using formal development and verification techniques. PhD thesis, University of Florence, Italy, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.