Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2009
Gurov, D. and Huisman, M.
(2009)
Reducing Behavioural to Structural Properties of Programs with Procedures.
In: Verification, Model Checking, and Abstract Interpretation, January 18-20, 2009, Savannah, GA, USA.
pp. 136-150.
Lecture Notes in Computer Science 5403.
Springer Verlag.
ISBN 978-3-540-93899-6
This list was generated on Thu May 24 06:47:05 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||