|
|
|
SearchNavigationUser login |
Symbolic Model Checking of Declarative Relational ModelsPublication Venue: 28th International Conference on Software Engineering (ICSE), Shanghai, China When Published: May 20 2006
|
The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.
Theme originally designed by Chris Herberte