Category:CafeOBJ: Difference between revisions

Content added Content deleted
m (Task implementations are included automatically)
Line 6: Line 6:
Many of these features are inherited from [http://en.wikipedia.org/wiki/OBJ3 OBJ3]
Many of these features are inherited from [http://en.wikipedia.org/wiki/OBJ3 OBJ3]


[http://www.ldl.jaist.ac.jp/cafeobj/ Download] ,
[https://cafeobj.org/ Download] ,
[http://www.jaist.ac.jp/~t-seino/lectures/cafeobj-intro/en/index.html Tutorial] ,
[https://cafeobj.org/tag/tutorial/ Tutorial-1] ,
[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] ,
[http://logic.pdmi.ras.ru/csclub/en/node/1819 Video-1] ,
[https://www.youtube.com/watch?v=x9EImMXN6Rk Video-1] ,

[http://sel.ifmo.ru/seminar/cafeobj.webm Video-2] ,




Retrieved from "https://rosettacode.org/wiki/Category:CafeOBJ"