-
Latest links
-
Popular Categories
ID: | 53 | |
Title: | Abstract State Machines | |
URL: | http://www.eecs.umich.edu | |
Category: | Computers: Algorithms | |
Description: | A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area. | |
ID: | 53 | |
Title: | Abstract State Machines | |
URL: | http://www.eecs.umich.edu | |
Category: | Computers: Algorithms | |
Description: | A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area. | |