1
Model Checking Software [E-Book] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
Other Personal Name(s): “...Ramakrishnan, C. R....”

Full text 
Favorites
Saved in:
2
Tools and algorithms for the construction and analysis of systems [E-Book] : 14th international conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /
Other Personal Name(s): “...Ramakrishnan, C. R....”

Full text 
Favorites
Saved in:
3
Practical Aspects of Declarative Languages [E-Book] : 4th International Symposium, PADL 2002 Portland, OR, USA, January 19–20, 2002 Proceedings /
Other Personal Name(s): “...Ramakrishnan, C. R....”

Full text 
Favorites
Saved in:
4
Novel Aspects [E-Book] /
Hubert, S.
1978
Other Personal Name(s): “...Bulman, R. A....”

Full text 
Favorites
Saved in:

Narrow Search Results