You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 1 results:

BibTex

Filters: First Letter Of Last Name is K and Author is Kutsia, T. [Clear All Filters]

2011

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.