Sukhvinder S. Aujla

Publication Activity (10 Years)

Years Active: 1988-1994
Publications (10 Years): 0

Publications

Sukhvinder S. Aujla, Tony Bryant, Lesley Semmens
Applying formal methods within structured development. IEEE J. Sel. Areas Commun. 12 (2) (1994)
David Freestone, Sukhvinder S. Aujla
Specifying ROSE in LOTOS. FORTE (1988)
Sukhvinder S. Aujla, Matthew Fletcher
The Boyer-Moore Theorem-Prover and LOTOS. FORTE (1988)