 |
 |
 |
 |
|
|
|
|
| HAL: hal-00467549, version 1 |
| Detailed view |  Export this paper |
 |
| 22e congrès INFORSID, Biarritz, France : France (2004) |
|
|
|
|
| Préconditions et invariants, l'écriture de contraintes mal adaptées à un paradigme de spécification |
|
|
| Henri Habrias 1Pascal André 1 |
|
|
| (2004) |
|
|
|
| no abstract |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Laboratoire d'Informatique de Nantes Atlantique (LINA) |
|
|
|
CNRS : UMR6241 – Université de Nantes – École Nationale Supérieure des Mines - Nantes |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Data Structures and Algorithms Computer Science/Software Engineering |
| hal-00467549, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00467549 | |
| oai:hal.archives-ouvertes.fr:hal-00467549 | |
| From: Lina Hal | |
| Submitted on: Friday, 26 March 2010 17:11:42 | |
| Updated on: Friday, 26 March 2010 17:11:42 | |
