Publication

Language

Publisher

Subjects

Publication date

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

Resource list

By Havelund K.   Rosu G.   in Electronic Notes in Theoretical Computer Science

ISSN:1571-0661|55|2|1-18

Elsevier‎(2004)‎

Access to resources Favorite 11.919064

 

Total 1 item(s)