1
Published 2008
Table of Contents: ... of Aspect-Oriented Programs through Declarative Reasoning -- Efficient Reasoning for Nogoods in Constraint...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...
View full text
Electronic eBook