# A. J. M. van Gasteren

According to our database

Collaborative distances:

^{1}, A. J. M. van Gasteren authored at least 13 papers between 1982 and 2002.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2002

Inf. Process. Lett., 2002

1999

Monographs in Computer Science, Springer, ISBN: 978-1-4757-3126-2, 1999

1998

An extension of the program derivation format.

Proceedings of the Programming Concepts and Methods, 1998

Proceedings of the Mathematics of Program Construction, 1998

1997

Sci. Comput. Program., 1997

1994

Sci. Comput. Program., 1994

1992

Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29, 1992

1990

Comments on "On the Proof of a Distributed Algorithm": Always-Tru is not Invariant.

Inf. Process. Lett., 1990

Lecture Notes in Computer Science 445, Springer, ISBN: 3-540-52849-0, 1990

1987

Inf. Process. Lett., 1987

1986

Acta Informatica, 1986

1983

Inf. Process. Lett., 1983

1982

Inf. Process. Lett., 1982