Publication

Language

Publisher

Subjects

Publication date

1Result(s)for '" Rustan K."'
Sort
Total 1 item(s)

Resource list

By Rustan K.   Leino M.   Manohar R.   in Theoretical Computer Science

ISSN:0304-3975|216|1|375-394

Elsevier‎(1999)‎

Access to resources Favorite 9.414188

 

Total 1 item(s)