Refinement and Proof Based Development of Systems Characterized by Continuous Functions.

Guillaume Babin, Yamine At Ameur, Shin Nakajima, Marc Pantel

Browse the full SETTA paper archive.