Skip to content

Petr Muller

  • Ing.
  • PhD. student
  • Brno University of Technology, Faculty of Information Technology
  • 0ReadersNumber of instances of Petr's publications in Mendeley libraries. Updated daily.
  • 1PublicationsNumber of items in Petr's My Publications folder on Mendeley.

Research interests

LogicFormal Verification

Publications (1)

  • CONSTRUCTION OF A RANDOM SENTENCE GENERATOR USABLE FOR COMPILER TESTING

    • Muller P
    N/AReaders
    N/ACitations

Professional experience

PhD. student

Brno University of Technology, Faculty of Information Technology

September 2010 - Present