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. Roč. 176, - (2007), s. 143-154. ISSN 1571-0661
    http://hdl.handle.net/11104/0151179