Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...








First-Order Logic
Deductive Software Verification – The KeY Book, 2016-12, p.23-47
2016
Link zum Volltext

Theories
Deductive Software Verification – The KeY Book, 2016-12, p.149-166
2016
Link zum Volltext

Deductive Software Verification - the KeY Book, 2016, Vol.10001, p.289-351
2016
Link zum Volltext



Aerospace science and technology, 2007-11, Vol.11 (7), p.546-552
2007
Link zum Volltext

Formal Methods and Software Engineering, 2005, p.315-329
2005
Link zum Volltext




Automated Reasoning with Analytic Tableaux and Related Methods, p.331-346
Link zum Volltext


International journal of mass spectrometry, 2012-07, Vol.325-327, p.25-29
2012
Link zum Volltext




Aktive Filter
ThemaTechnology
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt