Conference Proceedings
Resource usage verification
K Marriott, PJ Stuckey, M Sulzmann, A Ohori (ed.)
Programming Languages and Systems | SPRINGER-VERLAG BERLIN | Published : 2003
Conference Proceedings
K Marriott, PJ Stuckey, M Sulzmann, A Ohori (ed.)
Programming Languages and Systems | SPRINGER-VERLAG BERLIN | Published : 2003