- Artículo:
Modeling in event-b - system and software engineering by Jean-Raymond Abrial
- Autor:
Aryldo G. Russo, Jr.
- Página:
38
- Publicación:
Software Engineering Notes
- Volúmen:
36
- Número:
2
- Periodo:
Marzo 2011
- ISSN:
01635948
- SrcID:
01635948-2011-02.txt
- Documento número 1359703
- Actualizado el martes, 10 de julio de 2018 11:50:45 a. m.
- Creado el martes, 10 de julio de 2018 11:50:45 a. m.
- Enlace directo
