102
click to vote
ENTCS
2008
15 years 2 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...