Items where Author is "Kort, Skander"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 1.
Kort, Skander, Tahar, Sofiène and Curzon, Paul (2003) Hierarchical formal verification using a hybrid tool. International Journal on Software Tools for Technology Transfer (STTT), 4 (3). pp. 313-322. ISSN 1433-2779
