Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Publikation
Sprache
3 Treffer
-
In: Proceedings of the First NASA Formal Methods Symposium, 2009-04-01Online report
-
In: Design and Application of Strategies/Tactics in Higher Order Logics, 2003-09-01Online report