Transferring Formal Techniques to Industry.

Roger Duke, Gordon A. Rose, Graeme Smith

Browse the full FORTE paper archive.