We stand with Ukraine  

Arthur van Leeuwen

Affiliations:
  • Utrecht University, Netherlands


According to our database1, Arthur van Leeuwen authored at least 4 papers between 2005 and 2008.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
Specifying Strategies for Exercises.
[BibTeX]
[DOI]
Bastiaan Heeren
,
Johan Jeuring
,
Arthur van Leeuwen
,
Alex Gerdes
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2006
Incremental Implementation of Syntax Driven Logics.
[BibTeX]
[DOI]
Ignatius Sri Wishnu Brata Prasetya
,
A. Azurat
,
Tanja E. J. Vos
,
Arthur van Leeuwen
J. Softw., 2006

2005
Building Verification Condition Generators by Compositional Extension.
[BibTeX]
[DOI]
A. J. van Leeuwen
Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, 2005

Building Verification Condition Generators by Compositional Extensions.
[BibTeX]
[DOI]
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


  Loading...