boogie brings object-oriented graph grammars into engineering - Based on the application of object-oriented graph grammars, engineering knowledge is formalized and becomes computable in order to solve design tasks.
This site uses cookies to give you the best possible experience.
By using the site, you consent to our use of cookies.
For more information, please see our
Privacy Policy