Jens Bendisposto, Michael Leuschel, Markus Roggenbach. Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010). Science of Computer Programming, 81:1-2, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.