Content-type: text/html Title

Formal Development of Programs and Systems

generated from SQL Database

Affiliated to: lfcs
Email: dts

Members

Rod Burstall
Hilf Goguen
dts
Paul Jackson
Rod Burstall
Hilf Goguen
Paul Jackson
dts

Research Interests

Comments to page maintainer: rb