softwareabstractions.org
Preview meta tags from the softwareabstractions.org website.
Linked Hostnames
4- 1 link toalloytools.org
- 1 link tomitpress.mit.edu
- 1 link topeople.csail.mit.edu
- 1 link towww.amazon.com
General Meta Tags
6- titleSoftware Abstractions - Resources
- DESCRIPTIONA new approach to software verification introduces Alloy, a language that captures the essence of software abstraction with an analysis that is fully automated.
- KEYWORDS
- ROBOTSindex,follow
- CHARSETISO-8859-1
Link Tags
2- shortcut icon/favicon.ico
- stylesheetstyle/core_ns.css
Links
4- http://alloytools.org/
- http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=12880
- http://people.csail.mit.edu/dnj
- http://www.amazon.com/gp/product/0262017156/ref=as_li_tf_tl?ie=UTF8&tag=danieljackson-20&linkCode=as2&camp=1789&creative=9325&creativeASIN=0262017156