top of page

Fundamental Approaches to Software Engineering

Inside this Book

If you make use of this material, you may credit the authors as follows:

Russo Alessandra and Schürr Andy (Editors), "Fundamental Approaches to Software Engineering", Springer Nature, 2018, DOI: 10.1007/978-3-319-89363-1, License:

computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verification


Computer Software Maintenance, Computer Software Selection And Evaluation, Formal Logic, Formal Methods, Formal Specification, Programming Languages, Semantics, Software Engineering, Specifications, Verification

Rights | License

Except where otherwise noted, this item has been published under the following license:

Takedown policy

If you believe that this publication infringes copyright, please contact us at and provide relevant details so that we can investigate your claim.

bottom of page