Počet záznamů: 1  

Specification and Generation of Environment for Model Checking of Software Components

  1. 1.
    Pařízek, P., Plášil, František. Specification and Generation of Environment for Model Checking of Software Components. Electronic Notes in Theoretical Computer Science. 2007, 176(-), 143-154. ISSN 1571-0661. Dostupné z: doi: 10.1016/j.entcs.2006.02.036
Počet záznamů: 1