Publications
Bookmarks
Contacts
Stage RSS Feeds
|
Name:Institution:Abstract State MachinesPosition:Location:Field of Science:Science - Computer Science - AlgorithmsWebsite / Blog:www.eecs.umich.edu/gasmOnline Status:
|
About my Work:Abstract State Machines - Project attempting to bridge the gap between formal models of computation and practical specification methods. Abstract State Machine Abstract State Machines Projects:Vita / Publications: |
Grants and Awards:About my Institution:Additional Information: |