Where academic tradition
meets the exciting future

Proceedings of Doctoral Symposium held in conjunction with Formal Methods 2008

Proceedings of Doctoral Symposium held in conjunction with Formal Methods 2008, TUCS General Publication, Turku Centre for Computer Science, 2008.

BibTeX entry:

@PROCEEDINGS{pTroubitsyna08a,
  title = {Proceedings of Doctoral Symposium held in conjunction with Formal Methods 2008},
  number = {48},
  series = {TUCS General Publication},
  editor = {Troubitsyna, Elena},
  publisher = {Turku Centre for Computer Science},
  year = {2008},
}

Edit publication