Sukhvinder S. Aujla

According to our database, Sukhvinder S. Aujla authored at least 3 papers between 1988 and 1994.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1994

Applying formal methods within structured development.

Sukhvinder S. Aujla, Tony Bryant, Lesley Semmens

IEEE J. Sel. Areas Commun., 1994

1988

Specifying ROSE in LOTOS.

David Freestone, Sukhvinder S. Aujla

Proceedings of the Formal Description Techniques, 1988

The Boyer-Moore Theorem-Prover and LOTOS.

Sukhvinder S. Aujla, Matthew Fletcher

Proceedings of the Formal Description Techniques, 1988