Ingrid Luitjes

According to our database, Ingrid Luitjes authored at least 1 paper in 1995.

Collaborative distances:

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

1995

Verification of Logic Programs with Delay Declarations.

Krzysztof R. Apt, Ingrid Luitjes

Proceedings of the Algebraic Methodology and Software Technology, 1995