Skip to contents Holzmann, Gerard J. Ends and Means Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2018 Published in: IEEE Software Holzmann, Gerard J. Software Components Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2018 Published in: IEEE Software Holzmann, Gerard J. Cobra: a light-weight tool for static and dynamic program analysis Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2017 Published in: Innovations in Systems and Software Engineering Holzmann, Gerard J. Code Craft Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2017 Published in: IEEE Software Holzmann, Gerard J. Dead Programs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2017 Published in: IEEE Software Holzmann, Gerard J. Randomly Right Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2017 Published in: IEEE Software Holzmann, Gerard J. A tale of three programs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2017 Published in: IEEE Software Holzmann, Gerard J. The Value of Doubt Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2017 Published in: IEEE Software Holzmann, Gerard J. Brace Yourself Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2016 Published in: IEEE Software Holzmann, Gerard J. Code Clarity Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2016 Published in: IEEE Software Holzmann, Gerard J. Frequently Unanswered Questions Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2016 Published in: IEEE Software Holzmann, Gerard J. Hi Maintenance Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2016 Published in: IEEE Software Holzmann, Gerard J. Lecture Notes in Computer Science: Cloud-Based Verification of Concurrent Software Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2016 Published in: Lecture Notes in Computer Science Holzmann, Gerard J. Tiny Tools Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2016 Published in: IEEE Software Holzmann, Gerard J. The Weakest Link Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2016 Published in: IEEE Software Holzmann, Gerard J. Assertive Testing [Reliable Code] Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2015 Published in: IEEE Software Holzmann, Gerard J. Code Evasion Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2015 Published in: IEEE Software Holzmann, Gerard J. Code Inflation Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2015 Published in: IEEE Software Holzmann, Gerard J. Out of Bounds Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2015 Published in: IEEE Software Holzmann, Gerard J. Points of Truth Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2015 Published in: IEEE Software
Holzmann, Gerard J. Ends and Means Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2018 Published in: IEEE Software
Holzmann, Gerard J. Software Components Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2018 Published in: IEEE Software
Holzmann, Gerard J. Cobra: a light-weight tool for static and dynamic program analysis Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2017 Published in: Innovations in Systems and Software Engineering
Holzmann, Gerard J. Code Craft Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2017 Published in: IEEE Software
Holzmann, Gerard J. Dead Programs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2017 Published in: IEEE Software
Holzmann, Gerard J. Randomly Right Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2017 Published in: IEEE Software
Holzmann, Gerard J. A tale of three programs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2017 Published in: IEEE Software
Holzmann, Gerard J. The Value of Doubt Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2017 Published in: IEEE Software
Holzmann, Gerard J. Brace Yourself Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2016 Published in: IEEE Software
Holzmann, Gerard J. Code Clarity Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2016 Published in: IEEE Software
Holzmann, Gerard J. Frequently Unanswered Questions Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2016 Published in: IEEE Software
Holzmann, Gerard J. Hi Maintenance Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2016 Published in: IEEE Software
Holzmann, Gerard J. Lecture Notes in Computer Science: Cloud-Based Verification of Concurrent Software Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2016 Published in: Lecture Notes in Computer Science
Holzmann, Gerard J. Tiny Tools Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2016 Published in: IEEE Software
Holzmann, Gerard J. The Weakest Link Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2016 Published in: IEEE Software
Holzmann, Gerard J. Assertive Testing [Reliable Code] Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2015 Published in: IEEE Software
Holzmann, Gerard J. Code Evasion Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2015 Published in: IEEE Software
Holzmann, Gerard J. Code Inflation Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2015 Published in: IEEE Software
Holzmann, Gerard J. Out of Bounds Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2015 Published in: IEEE Software
Holzmann, Gerard J. Points of Truth Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2015 Published in: IEEE Software
> Media type Skip to next facet Articles (83) Wert ausschließen Books (10) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (3) Wert ausschließen Stack Collection (1) Wert ausschließen Ask for availability (3) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (5) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (7) Wert ausschließen Without Specification (81) Wert ausschließen Show more show less
> Language Skip to next facet Not determined (61) Wert ausschließen English (31) Wert ausschließen Latin (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (48) Wert ausschließen Technology (9) Wert ausschließen Mathmatics (4) Wert ausschließen Physics (4) Wert ausschließen Medicine (2) Wert ausschließen Economics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Holzmann, Gerard J. (89) Wert ausschließen Joshi, Rajeev (7) Wert ausschließen Peled, Doron (4) Wert ausschließen Pehrson, Björn (3) Wert ausschließen Godefroid, Patrice (2) Wert ausschließen Groce, Alex (2) Wert ausschließen Havelund, Klaus (2) Wert ausschließen Pirottin, Didier (2) Wert ausschließen Ruys, Theo C. (2) Wert ausschließen Smith, Margaret H. (2) Wert ausschließen Albertazzi, Alberto (1) Wert ausschließen Alecsandru, Radu (1) Wert ausschließen Alonso-Montes, Cristina (1) Wert ausschließen Alur, Rajeev (1) Wert ausschließen Alves, Doutor Rui (1) Wert ausschließen Amigo, Soler (1) Wert ausschließen Arendt, Susanne (1) Wert ausschließen Armbruster, Helmut (1) Wert ausschließen Asola, L L Markku (1) Wert ausschließen Au, Diep Thanh (1) Wert ausschließen Aucella, Filippo (1) Wert ausschließen Bagnewski, Wolfgang (1) Wert ausschließen Bahlmann, Günter (1) Wert ausschließen Bako, Cristian Gabriel (1) Wert ausschließen Barrera-Baena, Pedro (1) Wert ausschließen Becker, Helmut Peter (1) Wert ausschließen Becker, Matthias (1) Wert ausschließen Beige, Joachim (1) Wert ausschließen Benedik, Mihael (1) Wert ausschließen Berger, Dieter (1) Wert ausschließen Bertocchio, Philippe (1) Wert ausschließen Berweck, S (1) Wert ausschließen Besnier, Dominique (1) Wert ausschließen Biagini, Marco (1) Wert ausschließen Bianchi, Giuseppe (1) Wert ausschließen Bidas, Kizysztof (1) Wert ausschließen Bobaru, Mihaela (1) Wert ausschließen Bolley (1) Wert ausschließen Bonomini, Mario (1) Wert ausschließen Bos, Willem-Jan (1) Wert ausschließen Bosnacki, Dragan (1) Wert ausschließen Bouchouareb (1) Wert ausschließen Bounab, Mohamed Brahim (1) Wert ausschließen Boussad, Bouali (1) Wert ausschließen Bošnački, Dragan (1) Wert ausschließen Brancaccio, Diego (1) Wert ausschließen Bravenboer, Nathalie (1) Wert ausschließen Brech, Wolfgang (1) Wert ausschließen Brensing, Karl-August (1) Wert ausschließen Brignon (1) Wert ausschließen Bristogiannis, Georgios (1) Wert ausschließen Brockmann, Carsten (1) Wert ausschließen Brugmann, Chu (1) Wert ausschließen Brückner, Dieter (1) Wert ausschließen Bucht, Stig (1) Wert ausschließen Bunia, J (1) Wert ausschließen Burgos, Rafael Romero (1) Wert ausschließen Burkhardt, Klaus (1) Wert ausschließen Burnier, Michel (1) Wert ausschließen Cagnoli, Leonardo (1) Wert ausschließen Calvo, Maria Dolores Paz (1) Wert ausschließen Cannata-Andía, Jorge Benito (1) Wert ausschließen Carrera, Fernando (1) Wert ausschließen Cassidy, Mike (1) Wert ausschließen Cattanéo (1) Wert ausschließen Chantal, Bony (1) Wert ausschließen Clasen, Wolfgang (1) Wert ausschließen Claus, Pierre (1) Wert ausschließen Cohen-Solal, Martine (1) Wert ausschließen Colet, John (1) Wert ausschließen Colussi, Giacomo (1) Wert ausschließen Coric-Martinovic, Valentina (1) Wert ausschließen Cossu, Maria (1) Wert ausschließen Covic, Adrian (1) Wert ausschließen Craciun, Irinel (1) Wert ausschließen Cruz, Joao (1) Wert ausschließen Cuvelier, René (1) Wert ausschließen D'Angelo, Angela (1) Wert ausschließen DIMACS (Group) (1) Wert ausschließen Danielsen, Overlæge Henning (1) Wert ausschließen Daschner, M (1) Wert ausschließen De Fremont, J F (1) Wert ausschließen De Hoek, C T Op (1) Wert ausschließen De Mouscron, C M (1) Wert ausschließen Dehnert (1) Wert ausschließen Dehout, François (1) Wert ausschließen Del Rosso, Goffredo (1) Wert ausschließen Delcroix, Catherine (1) Wert ausschließen Dell, Cesare (1) Wert ausschließen Dhondt, A M (1) Wert ausschließen Dialisi, E (1) Wert ausschließen Didier, Ducloux (1) Wert ausschließen Dijkstra, Gerard (1) Wert ausschließen Djamel, Dahmane (1) Wert ausschließen Donatella, Spotti (1) Wert ausschließen Dong, Yifei (1) Wert ausschließen Dratwa, Max (1) Wert ausschließen Du, Xiaoqun (1) Wert ausschließen Duchet (1) Wert ausschließen Dupuy (1) Wert ausschließen Show more show less
> Collection Skip to next facet Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (40) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (23) Wert ausschließen Verbunddaten SWB (10) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (8) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (4) Wert ausschließen Elsevier BV (CrossRef) (2) Wert ausschließen Lizenzfreie Online-Ressourcen (2) Wert ausschließen Springer International Publishing (CrossRef) (2) Wert ausschließen Fachkatalog Technikgeschichte (1) Wert ausschließen JSTOR Life Sciences Archive (1) Wert ausschließen Open Publishing Association (CrossRef) (1) Wert ausschließen Oxford University Press (OUP) (CrossRef) (1) Wert ausschließen Wiley (CrossRef) (1) Wert ausschließen Show more show less