Detail Records
ID:1273
Title:Courses
URL:http://alloy.mit.edu/courses.php
Pagerank:6
Description:
SOFTENG 461 looks at the formal specification, design, and (automatic) analysis of software systems. A variety of specification notations will be presented, ...
Link Owner:alloy.mit.edu
Date Added:June 25, 2008 04:10:06 AM
Number Hits:0

Alexa Graph