2 ms·
Amen to that. Integrated formal systems giving the spec working with the programming language on the implementation side is the holy grail.
by doonesbury 6y ago
Amen to that. Integrated formal systems giving the spec working with the programming language on the implementation side is the holy grail.