almost 4 years
based on code collected
over 4 years
euneto's project has a set of documents, like papers, specifications and implementations related to Formal Methods and Artificial Intelligence. The main objective is to share to comunity the ideas from this area.
No tags have been added
In a Nutshell, Specification and Development - CSP/JCSP...