Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Author/Editor: Margaria | Publication year: 2018
Logic Programming and Nonmonotonic Reasoning
Author/Editor: Balduccini | Publication year: 2017
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Author/Editor: Margaria | Publication year: 2014
Logic Programming and Nonmonotonic Reasoning
Author/Editor: Lifschitz | Publication year: 2004
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Author/Editor: Margaria | Publication year: 2012
Logic Programming and Nonmonotonic Reasoning
Author/Editor: Baral | Publication year: 2005
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Author/Editor: Margaria | Publication year: 2014
Logic Programming and Nonmonotonic Reasoning
Author/Editor: Marek | Publication year: 1995
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Author/Editor: Margaria | Publication year: 2018
Logic Programming and Nonmonotonic Reasoning
Author/Editor: Gelfond | Publication year: 1999
Leveraging Applications of Formal Methods, Verification and Validation: Applications
Author/Editor: Margaria | Publication year: 2020
Logic Programming and Nonmonotonic Reasoning
Author/Editor: Baral | Publication year: 2007
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
Author/Editor: Margaria | Publication year: 2016
Logic Programming and Nonmonotonic Reasoning
Author/Editor: Erdem | Publication year: 2009
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
Author/Editor: Margaria | Publication year: 2020
Logic Programming and Nonmonotonic Reasoning
Author/Editor: Delgrande | Publication year: 2011
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Author/Editor: Margaria | Publication year: 2016
Logic Programming and Nonmonotonic Reasoning
Author/Editor: Cabalar | Publication year: 2013
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
Author/Editor: Margaria | Publication year: 2021
Logic Programming and Nonmotonic Reasoning
Author/Editor: Eiter | Publication year: 2001