Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
automated reasoning
(1)automated static analysis
(1)automatedreasoning
(1)edv
(1)form
(1)formal methods
(1)formallanguagesandautomatatheory
(1)higherorderlogic
(1)informatik
(1)logic and verification
(1)modal and temporal logics
(1)modalandtemporallogics
(1)model checking
(1)model checking and theorem proving
(1)modelchecking
(1)prooftheory
(1)semantics
(1)software verification and v
(1)softwareengineering
(1)softwareverificationandvalidation
(1)theorem proving and sat solving
(1)theoremprovingandsatsolving
(1)verification via model checking
(1)verificationviamodelchecking
(1)Ergebnis: 1 Artikel
ISBN 13: 978-3-030-20651-2
