Edinburgh Research Explorer

Verifying Web Site Properties Using Computational Logic

Research output: Chapter in Book/Report/Conference proceedingChapter

Standard

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 proceedingChapter

Harvard

Cavalcanti, J & Robertson, D 2002, Verifying Web Site Properties Using Computational Logic. in P van Bommel (ed.), Information Modelling for Internet Applications. Idea Group Publishing, pp. 22-39.

APA

Cavalcanti, J., & Robertson, D. (2002). Verifying Web Site Properties Using Computational Logic. In P. van Bommel (Ed.), Information Modelling for Internet Applications (pp. 22-39). Idea Group Publishing.

Vancouver

Cavalcanti J, Robertson D. Verifying Web Site Properties Using Computational Logic. In van Bommel P, editor, Information Modelling for Internet Applications. Idea Group Publishing. 2002. p. 22-39

Author

Cavalcanti, J. ; Robertson, D. / Verifying Web Site Properties Using Computational Logic. Information Modelling for Internet Applications. editor / P. van Bommel. Idea Group Publishing, 2002. pp. 22-39