Marie-Laure Potet. Spécifications et développements structurés dans la méthode B. Technique et Science Informatiques, RSTI série TSI, 22(1):61-88, 2003.
@article{ACL-03:vasco-21,
Author = {Potet, Marie-Laure},
Title = {{Spécifications et développements structurés dans la méthode B}},
Journal = {Technique et Science Informatiques, RSTI série TSI},
Volume = {22(1)},
Pages = {61--88},
Publisher = {Hermès-Lavoisier},
Year = {2003}
}
Charger la référence EndNote (.ref)