Revision as of 17:47, 15 March 2014 (view source) rosettacode>AndiPersti m (Task implementations are included automatically) ← Older edit		Revision as of 12:22, 15 August 2022 (view source) Pbrowne (talk \| contribs) m (→‎Basic Information) Newer edit →
Line 6: Many of these features are inherited from [http://en.wikipedia.org/wiki/OBJ3 OBJ3] [~~http~~https://~~www~~cafeobj.~~ldl.jaist.ac.jp/cafeobj~~org/ Download] , [~~http~~https://~~www~~cafeobj.~~jaist.ac.jp~~org/~~~t-seino~~tag/~~lectures~~tutorial/~~cafeobj-intro/en/index.html~~ 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~~https://~~logic~~www.~~pdmi~~youtube.~~ras.ru/csclub/en/node~~com/~~1819~~watch?v=x9EImMXN6Rk Video-1] , ~~[http://sel.ifmo.ru/seminar/cafeobj.webm Video-2] ,~~

Category:CafeOBJ: Difference between revisions

Category:CafeOBJ (view source)