×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [precondition s2]
Home >
precondition s2
Towards An Algebraic Formulation of Domain Definitions using Parameterised Machines T. L. McCluskey and R. M.Simpson School of Computing and Engineering.
218 views
Towards An Algebraic Formulation of Domain Definitions using Parameterised Machines
25 views