Kim Guldstrand Larsen · 5 obras en el catálogoObrasComputer aided verificationVerification, Model Checking, and Abstract InterpretationFormal Methods for Industrial Critical SystemsDependable Software Engineering. Theories, Tools, and ApplicationsTTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of Systems
TTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of Systems
