A. Azurat

Publication Activity (10 Years)

Years Active: 2004-2006
Publications (10 Years): 0

Publications

Ignatius Sri Wishnu Brata Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen
Incremental Implementation of Syntax Driven Logics. J. Softw. 1 (3) (2006)
I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen
Building Verification Condition Generators by Compositional Extensions. SEFM (2005)
I. S. W. B. Prasetya, Tanja E. J. Vos, A. Azurat, S. Doaitse Swierstra
A UNITY-Based Framework Towards Component Based Systems. OPODIS (2004)