Search results for: A Naumann
International Journal of Electrical Power & Energy Systems > 2018 > 103 > C > 577-586
Protein Science > 26 > 6 > 1214 - 1223
2017 IEEE Security and Privacy Workshops (SPW) > 157 - 162
Der Unfallchirurg > 2017 > 120 > 1 > 81-84
Der Unfallchirurg > 2016 > 119 > 12 > 1057-1060
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P2) > 1038-1056
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Verifying Object-Oriented Programming > 105-115
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 211-226
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Methodology > 177-191
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Theory > 190-204
Lecture Notes in Computer Science > Construction and Analysis of Safe, Secure, and Interoperable Smart Devices > 27-48
Lecture Notes in Computer Science > FM’99 — Formal Methods > Refinement > 1439-1459