Language
Publisher
Subjects
- All ( )
- Free, open source ( )
2Result(s)for '" Bornat R."'
Resource list
By Calcagno C. O'Hearn P. Bornat R. in Theoretical Computer Science
ISSN:0304-3975|298|3|557-581
Elsevier(2003)
Access to resources Favorite 9.116469
By Hill J.M.D. Clarke K.M. Bornat R. in Journal of Symbolic Computation
ISSN:0747-7171|21|4|561-576
Academic Press(1996)
Access to resources Favorite 7.4557343