Foundations of Software Technology and Theoretical Computer Science: Seventh...

Lecture Notes in Computer Science Ser.: Formal Methods Teaching : 6th Formal...

Lecture Notes in Computer Science Ser.: Foundations of Software Science (SA)

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Lecture Notes in Computer Science Ser.: Foundations of Inductive Logic Programmi

Foundations of Computer Science: Potential-Theory-Cognition (Lecture Notes i...

Lecture Notes in Computer Science Ser.: Relational and Algebraic Methods in...

Lecture Notes in Computer Science Ser.: Engineering Trustworthy Software Systems