Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Sprache
3 Treffer
-
In: Proceedings of the Third International Workshop on Proof-Carrying Code and Software Certification, 2009-10-01Online report