Publications of Lukáš Marek

Publications sorting and grouping Sort publications by and group them by

This list contains publications for the last 3 years. See the full list of all publications.

Refereed (journals/proceedings) (1)

Link Bulej L., Bureš T., Horký V., Kotrč J., Marek L., Trojánek T., Tůma P.: Unit testing performance with Stochastic Performance Logic,
In Automated Software Engineering, Volume 24, Issue 1, Springer, pp. 139-187, ISSN: 0928-8910, January 2016

Full list of publications with tag Refereed (journal/proceeding)
Logo of Faculty of Mathematics and Physics
  • Phone: +420 951 554 267, +420 951 554 236
  • Email: info<at-sign>
  • How to find us?
Modified on 2016-04-01