A. Azurat

According to our database, A. Azurat authored at least 3 papers between 2004 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Incremental Implementation of Syntax Driven Logics.

Ignatius Sri Wishnu Brata Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen

J. Softw., 2006

2005

Building Verification Condition Generators by Compositional Extensions.

I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

2004

A UNITY-Based Framework Towards Component Based Systems.

I. S. W. B. Prasetya, Tanja E. J. Vos, A. Azurat, S. Doaitse Swierstra

Proceedings of the Principles of Distributed Systems, 8th International Conference, 2004