Name Card

Full name Familienname, Vorname
Kutsia, Temur
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bouhoula, Adel ; Buchberger, Bruno ; Kovács, Laura ; Kutsia, Temur Foreword to the Special Issue on Symbolic Computation in Software ScienceArtikel Article 2015
2Kovács, Laura ; Kutsia, Temur Special issue on Automated Specification and Verification of Web SystemsArtikel Article2012

Contributing Publications Mitbeteiligte Publikationen

Results 1-5 of 5 (Search time: 0.002 seconds).

PreviewEditor(s)TitleTypeIssue Date
1Bouhoula, Adel ; Buchberger, Bruno ; Kovacs, Laura ; Kutsia, Temur Special issue on symbolic computation in software scienceBuch Book2015
2Kovacs, Laura ; Kutsia, Temur 6th International Workshop on Automated Specification and Verification of Web Systems (WWV)Konferenzband Proceedings2013
3Kovacs, Laura ; Kutsia, Temur 5th International Symposium on Symbolic Computation in Software ScienceKonferenzband Proceedings2013
4Kovacs, Laura ; Kutsia, Temur Special Issue on Automated Speci cation and Veri cation of Web SystemsBuch Book2012
5Kovacs, Laura ; Kutsia, Temur Proceedings of the 6th International Workshop on Automated Specification and Verification of Web Systems (WWV'10)Konferenzband Proceedings2010