2014
Logic, (Functional) Programming, Model Checking
Publication
Publication
Additional Metadata | |
---|---|
Organisation | Software Analysis and Transformation |
van Eijck, J. (2014). Logic, (Functional) Programming, Model Checking. |
2014
Additional Metadata | |
---|---|
Organisation | Software Analysis and Transformation |
van Eijck, J. (2014). Logic, (Functional) Programming, Model Checking. |