CComputer Aided VerificationComputer Aided Verificationde Ahmed Bouajjani, Oded MalerEdiciones (1)Computer Aided Verification (2009)Springer London, Limited · inglés · ISBN 9783642026584Más obras de Ahmed BouajjaniAutomated Technology for Verification and AnalysisVerification, Model Checking, and Abstract Interpretation
FFormal Techniques for Disributed Objects, Components, and SyFormal Techniques for Disributed Objects, Components, and Systems
