issues
search
rhit-csse-projects
/
RESOLVE
RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
https://www.cs.clemson.edu/resolve/
BSD 3-Clause "New" or "Revised" License
0
stars
0
forks
source link
remove some java dists
#15
Closed
AdityaSenthilvel
closed
2 weeks ago