De l'utilisation d'une spécification Z comme prototype dans le redéveloppement d'un projet
Abstract
no abstract
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Catherine Oriat : Connect in order to contact the contributor
https://inria.hal.science/hal-00953400
Submitted on : Friday, February 28, 2014-11:46:43 AM
Last modification on : Wednesday, April 12, 2023-1:42:10 PM