search

mbeddr / mbeddr.formal

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
https://sites.google.com/site/fastenroot/home
Apache License 2.0
23 stars 14 forks source link

Feature/replace docx4j lib jars with newer version #66

Closed baran-goru closed 2 years ago

baran-goru commented 2 years ago

the changes are merged by @danielratiu.