Category:CafeOBJ: Difference between revisions
Content added Content deleted
| Line 10: | Line 10: | ||
[https://www.preining.info/blog/2018/04/specification-and-verification-of-software-with-cafeobj-part-1-introducing-cafeobj/ Tutorial] , |
[https://www.preining.info/blog/2018/04/specification-and-verification-of-software-with-cafeobj-part-1-introducing-cafeobj/ Tutorial] , |
||
[http://www.jaist.ac.jp/~ogata/lecture/i217/ Lectures]. |
[http://www.jaist.ac.jp/~ogata/lecture/i217/ Lectures]. |
||
[https://equational.wordpress.com/2016/09/07/algebraic-specification/#more-4/ Blog]. |
|||
===Examples=== |
===Examples=== |
||