Category:CafeOBJ: Difference between revisions
m
→Basic Information
m (Task implementations are included automatically) |
|||
Line 6:
Many of these features are inherited from [http://en.wikipedia.org/wiki/OBJ3 OBJ3]
[
[
[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] ,
[
|