Conference Proceedings

Resource usage verification

K Marriott, PJ Stuckey, M Sulzmann, A Ohori (ed.)

Programming Languages and Systems | SPRINGER-VERLAG BERLIN | Published : 2003

DOI: 10.1007/978-3-540-40018-9_15

University of Melbourne Researchers

Peter Stuckey Author Computing and Information Systems

Citation metrics

11Web of Science

Keywords

Science & Technology

Computer Science, Software Engineering

Computer Science, Theory & Methods

Computer Science