Proceedings of the first workshop about Sets and Tools, SETS 2014, affiliated to ABZ 2014
Abstract
Proceedings of the first workshop about Sets and Tools, SETS 2014, affiliated to ABZ 2014
Proceedings of the first workshop about Sets and Tools, SETS 2014, affiliated to ABZ 2014
Connect in order to contact the contributor
https://hal.science/hal-01126518
Submitted on : Friday, March 6, 2015-11:59:34 AM
Last modification on : Wednesday, July 9, 2025-3:06:18 PM