Treffer: A framework for transforming SOFL formal specifications to programs
Title:
A framework for transforming SOFL formal specifications to programs
Authors:
Source:
2015 6th IEEE International Conference on Software Engineering and Service Science (ICSESS) Software Engineering and Service Science (ICSESS), 2015 6th IEEE International Conference on. :15-18 Sep, 2015
Relation:
2015 6th IEEE International Conference on Software Engineering and Service Science (ICSESS)
Database:
IEEE Xplore Digital Library