Editorial to the Special Issue on Automated Specification and Verification of Web Systems (bibtex)
by Laura Kovács, Temur Kutsia
Reference:
Editorial to the Special Issue on Automated Specification and Verification of Web SystemsLaura Kovács, Temur KutsiaJournal of Applied Logic, volume 10, number 1, pages 1, 2012.
Bibtex Entry:
@article{JAL12Kovacs,
title = {Editorial to the Special Issue on Automated Specification and Verification
of Web Systems},
journal = {Journal of Applied Logic},
author = {Laura Kov\'acs and Temur Kutsia},
number = {1},
volume = {10},
year = {2012},
pages = {1},
}
Powered by bibtexbrowser