Code developed by Victor Vilmarques for his undergraduate course conclusion monograph

formalsoftware / CSPDT

An IDE for CSP (Communicating Sequential Processes) based on eclipse IDE.

GNU General Public License v3.0

1 stars 0 forks source link

Closed jbjj closed 4 years ago

jbjj commented 4 years ago

Code developed by Victor Vilmarques for his undergraduate course conclusion monograph.