@book{4a6e2597f2dd4bb2b21728e8c115cfaa,
title = "Formal Methods: An Appetizer. ",
abstract = "This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verification of programs. The authors use program graphs as the mechanism for representing the control structure of programs in order to find a balance between generality and conceptual complexity.",
keywords = "Program Graphs, Program Verification, Program Analysis, Language-Based Security, Model Checking, Concurrency, F#, Formal Methods, Semantics",
author = "Flemming Nielson and Nielson, {Hanne Riis}",
year = "2019",
doi = "10.1007/978-3-030-05156-3",
language = "English",
isbn = "978-3-030-05155-6",
publisher = "Springer",
}