ProB Java API: Difference between revisions

Line 12: Line 12:
== Additional Material ==
== Additional Material ==
*[[ProB 2.0 Development]]
*[[ProB 2.0 Development]]
*[https://github.com/bendisposto/prob2_tooling_template ProB 2.0 Tooling Template]
*[[Programmatic_Abstractions_in_the_ProB_2.0_API]]
*[[Programmatic_Abstractions_in_the_ProB_2.0_API]]
*[https://docs.google.com/document/pub?id=109z3qG6_KBUqm0NC9FaEF1C6_NYCJl453wcXzbovj2Q ProB 2.0 Requirements Document] <br/>(if you want to comment on the Document, please use goo.gl/KS2bh)
*[https://docs.google.com/document/pub?id=109z3qG6_KBUqm0NC9FaEF1C6_NYCJl453wcXzbovj2Q ProB 2.0 Requirements Document] <br/>(if you want to comment on the Document, please use goo.gl/KS2bh)

Revision as of 10:40, 26 September 2017