Enhancing Formal Modelling Tool Support with Increased Automation. Lausdahl, K. Ph.D. Thesis, Aarhus University, June, 2013.
Enhancing Formal Modelling Tool Support with Increased Automation [pdf]Paper  bibtex   

Downloads: 0