Special issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems

BALLIS, Demis

KUTSIA Temur