Aryldo G. Russo

According to our database¹, Aryldo G. Russo authored at least 3 papers between 2010 and 2011.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2011

Modeling in event-b - system and software engineering by Jean-Raymond Abrial.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2011

2010

An Approach of Requirements Tracing in Formal Refinement.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, 2010

Starting B Specifications from Use Cases.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2010