Alloy Community

User login

Lightweight Extraction of Syntactic Specifications

Authors: 
Mana Taghdiri, Robert Seater and Daniel Jackson
Publication Venue: 
ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE'06), Portland, Oregon, USA
When Published: 
Nov 5 2006


Attachment


Size
FSE06.pdf183.72 KB

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte