Conference Proceedings

Resource usage verification

K Marriott, PJ Stuckey, M Sulzmann, A Ohori

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