aalto1 untyped-item.component.html
Applying the Axiomatic Proof Method to Concurrent and Distributed Programs
Loading...
URL
Journal Title
Journal ISSN
Volume Title
Helsinki University of Technology |
Licentiate thesis
Electronic archive copy is available via Aalto Thesis Database.
Checking the digitized thesis and permission for publishing
Instructions for the author
Instructions for the author
Authors
Date
Department
Major/Subject
Mcode
3.76
Degree programme
Language
en
Pages
71