Conference Proceedings

Resource usage verification

K Marriott, PJ Stuckey, M Sulzmann, A Ohori

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

University of Melbourne Researchers

Peter Stuckey Author Computing and Information Systems

Citation metrics

10Web of Science

Keywords

Computer Science, Theory & Methods

Computer Science

Science & Technology

Computer Science, Software Engineering