Select
Explore
keyword: separation logic – 9 free books.
These books are included in the Directory of Open Access Books. This means that they have been peer-reviewed and are of interest to scholars.
These books are available in PDF format - good for desktops, printing.
Automated Reasoning with Analytic Tableaux and Related Methods
Revantha Ramanayake and Josef Urban, editors
Dirk Beyer and Marieke Huisman, editors
Christel Baier and Ugo Dal Lago, editors
Foundations of Software Science and Computation Structures
Christel Baier and Ugo Dal Lago
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer and Marieke Huisman