Author books / Книги автора Marieke Huisman Anton Wijs » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Marieke Huisman Anton Wijs

book Concise Guide to Software Verification. From Model Checking to Annotation Checking

Concise Guide to Software Verification. From Model Checking to Annotation Checking

pdf

Author: Marieke Huisman Anton Wijs
Language: English
Year: 2023

00

02.03.2024

0

0

book Concise Guide to Software Verification: From Model Checking to Annotation Checking

Concise Guide to Software Verification: From Model Checking to Annotation Checking

pdf

Author: Marieke Huisman Anton Wijs
Language: English
Year: 2023

00

01.03.2024

0

0

book Concise Guide to Software Verification : From Model Checking to Annotation Checking

Concise Guide to Software Verification : From Model Checking to Annotation Checking

epub

Author: Marieke Huisman, Anton Wijs
Language: English
Year: 2023

00

01.03.2024

0

0

book Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (Lecture Notes in Computer Science, 13487)

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (Lecture Notes in Computer Science, 13487)

pdf

Author: Jan Friso Groote (editor) Marieke Huisman (editor)
Language: English
Year: 2022

00

14.02.2024

0

0

book Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

epub

Author: Marieke Huisman Corina Păsăreanu Naijun Zhan
Language: English
Year: 2021

00

08.02.2024

0

0

book Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

pdf

Author: Marieke Huisman Corina Păsăreanu Naijun Zhan
Language: English
Year: 2021

00

08.02.2024

0

0

book Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

pdf

Author: Dirk Beyer Marieke Huisman Fabrice Kordon Bernhard Steffen
Language: English
Year: 2019

00

30.01.2024

0

0

book Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedin

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedin

pdf

Author: Dirk Beyer Marieke Huisman
Language: English
Year: 2018

00

30.01.2024

0

0

book Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

pdf

Author: Dirk Beyer Marieke Huisman
Language: English
Year: 2018

00

29.01.2024

0

0

book Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

pdf

Author: Marieke Huisman Julia Rubin (eds.)
Language: English
Year: 2017

00

28.01.2024

0

0