Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "formal methods"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
author_facet:"Huisman, Marieke"
Showing
1
-
5
of
5
Search:
'"formal methods"'
,
query time: 0.06s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Formal
Methods
: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
Published 2021
Springer International Publishing
“
...This book constitutes the refereed proceedings of the 24th Symposium on
Formal
Methods
, FM 2021...
”
Read Now
2
Integrated
Formal
Methods
: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Published 2016
Springer International Publishing
Table of Contents:
“
...Invited Contributions -- Can
Formal
Methods
Improve the Efficiency of Code Reviews.-Symbolic...
”
Read Now
3
Formal
Methods
for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings
Published 2022
Springer International Publishing
“
...This book constitutes the proceedings of the 27th International Conference on
Formal
Methods
...
”
Read Now
4
Concise Guide to Software Verification : From Model Checking to Annotation Checking
by
Huisman, Marieke
,
Wijs, Anton
Published 2023
Springer International Publishing
“
... to guarantee its correctness.
Formal
methods
are techniques that can be used to improve software reliability...
”
Read Now
5
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...
Published 2019
Springer International Publishing
Table of Contents:
“
...TOOLympics 2019: An Overview of Competitions in
Formal
Methods
-- Confluence Competion 2019...
”
Back
Narrow Search
Remove Filters
Clear Filter
Author: Huisman, Marieke
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
4
004 - Data processing & computer science
1
Language
English
5
Collection
Springer eBooks 2005-
5
Author
Huisman, Marieke
Beyer, Dirk
1
Groote, Jan Friso
1
Kordon, Fabrice
1
Păsăreanu, Corina
1
Steffen, Bernhard
1
more ...
Wijs, Anton
1
Zhan, Naijun
1
Ábrahám, Erika
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=author_facet%3A%22Huisman%2C+Marieke%22&lookfor=%22formal+methods%22&type=AllFields
Send by Email
×
Loading...