Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer and information science 2 Treffer
- data- och informationsvetenskap 2 Treffer
- dynamic logic 2 Treffer
- computer science 1 Treffer
- concurrent programs 1 Treffer
-
13 weitere Werte:
- datavetenskap 1 Treffer
- deductive verification 1 Treffer
- dynamic partial order reduction 1 Treffer
- formal methods 1 Treffer
- formal reasoning 1 Treffer
- java 1 Treffer
- jml 1 Treffer
- object-oriented software 1 Treffer
- proof obligations 1 Treffer
- sequential consistency 1 Treffer
- specification languages 1 Treffer
- testing 1 Treffer
- theorem proving 1 Treffer
Sprache
4 Treffer
-
In: Automated Technology for Verification and Analysis Lecture Notes in Computer Science (LNCS), 2020, S. 377-393Online unknownZugriff:
-
In: Tests and Proofs, Second International Conference, TAP 2008, Prato, Italy. Springer, LNCS, Jg. 4966 (2008), S. 182-191unknownZugriff:
-
In: Tests and Proofs, Second International Conference, TAP 2008, Prato, Italy. Springer, LNCS, Jg. 4966 (2008), S. 154-170unknownZugriff:
-
In: Verification of Object-Oriented Software. The KeY Approach., eds. B. Beckert, R. Hähnle, P.-H. Schmitt, LNCS 4334, 2007, S. 410-451unknownZugriff: