A Framework for Formal Representation and Transformational Optimisation of Executable Specifications von Thomas Meyer | ISBN 9783832515621
A Framework for Formal Representation and Transformational Optimisation of Executable Specifications
von Thomas Meyer
×
A Framework for Formal Representation and Transformational Optimisation of Executable Specifications
von Thomas Meyer