2014
Logic, (Functional) Programming, Model Checking
Publication
Publication
Additional Metadata | |
---|---|
Software (theme 1) | |
Guest lecture, Logic in AI, Amsterdam | |
Organisation | Software Analysis and Transformation |
van Eijck, D.J.N. (2014). Logic, (Functional) Programming, Model Checking.
|