Empirical study of texting methods for Boolean specifications.
Contributors: Zhu, Hong.; Oxford Brookes University. School of Technology. Department of Computing.
Publisher: Oxford Brookes University
Published: 2002
Place of publication: Oxford
Language: eng
Notes: Thesis (M.Sc.) - Oxford Brookes University, Oxford, 2002.