Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
1. 
Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
by 
Albert, Elvira. editor.
https://doi.org/10.1007/978-3-642-38197-3
Format: 
Excerpt: 
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven
2. 
Cover image for Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
by 
Albert, Elvira. editor.
https://doi.org/10.1007/978-3-319-10181-1
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.