https://hal.archives-ouvertes.fr/hal-00342085 Contributor : Frédéric DavesneConnect in order to contact the contributor Submitted on : Wednesday, November 26, 2008 - 5:11:03 PM Last modification on : Wednesday, April 27, 2022 - 4:12:21 AM
Henri Habrias, Pascal Poizat, Marc Frappier. 20 - Glossary. Software Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, pp.n.a., 2006. ⟨hal-00342085⟩