Category:CafeOBJ: Difference between revisions
Content added Content deleted
mNo edit summary |
|||
| Line 7: | Line 7: | ||
[https://cafeobj.org/ Download] , |
[https://cafeobj.org/ Download] , |
||
[https://cafeobj.org/ |
[https://cafeobj.org/intro/en/ Introduction] , |
||
[https://www.preining.info/blog/2018/04/specification-and-verification-of-software-with-cafeobj-part-1-introducing-cafeobj/ tutorial-2] |
[https://www.preining.info/blog/2018/04/specification-and-verification-of-software-with-cafeobj-part-1-introducing-cafeobj/ tutorial-2] |
||
[http://www.jaist.ac.jp/~ogata/lecture/i217/ Lectures] , |
[http://www.jaist.ac.jp/~ogata/lecture/i217/ Lectures] , |
||