You are here

Special Issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems (Preface)

D. Ballis and Kutsia, T., “Special Issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems (Preface)”, Journal of Symbolic Computation, vol. 46, pp. 93–94, 2011.