A. Azurat

发表

Incremental Implementation of Syntax Driven Logics

Tanja E. J. Vos, I. S. W. B. Prasetya, Arthur van Leeuwen, 2006, J. Softw..

A UNITY-Based Framework Towards Component Based Systems

Tanja E. J. Vos, S. Doaitse Swierstra, I. S. W. B. Prasetya, 2004, OPODIS.

A survey on embedding programming logics in a theorem prover

I. S. W. B. Prasetya, A. Azurat, I. Prasetya, 2002 .

LINGUSQL : A VERIFICATION AND TRANSFORMATION TOOL FOR DATABASE APPLICATION

Heru Suhartanto, A. Azurat, Rikky Wenang Purbojati, 2005 .

A preliminary report on xMECH

I. S. W. B. Prasetya, A. Azurat, 2002 .

Building verification condition generators by compositional extensions

Tanja E. J. Vos, I. S. W. B. Prasetya, Arthur van Leeuwen, 2005, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).