Automated Specification and Verification of Web Systems (Preface)

Alpuente Frasnedo María, Escobar Román Santiago

2006

Automated Specification and Verification of Web Systems (Preface)