EiffelBase2

Revision as of 06:25, 16 April 2010 by Kenga (Talk | contribs) (New page: Category:Library This page is under construction. It will contain a description of the EiffelBase2 library: a general purpose data structures library for Eiffel designed for formal sp...)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


This page is under construction. It will contain a description of the EiffelBase2 library: a general purpose data structures library for Eiffel designed for formal specification and verification.

Retrieved from "https://dev.eiffel.com/index.php?title=EiffelBase2&oldid=13777"