Library System Formal Specification

Team Structure

Leader/HTML

Geoff Dyment

Editors

Joel Klammer
Geoff Dyment

Summary

Dan Boonstra
Pei-Ling Ng

User Interaction

Emad Sajwani
Laura Meynberg
Dean Skelton
Dave Francis
Amin Mahdavi

Management Plan

Joel Klammer
Harby Hayer
Andy Teoh
Andrew Tang

Conclusion

All Members

Back to the CPSC 451 Supplier Group #5 Formal Index