Research output: Chapter in Book/Report/Conference proceeding › Chapter
Verifying Web Site Properties Using Computational Logic. / Cavalcanti, J.; Robertson, D.
Information Modelling for Internet Applications. ed. / P. van Bommel. Idea Group Publishing, 2002. p. 22-39.Research output: Chapter in Book/Report/Conference proceeding › Chapter