Generalised multi-pattern-based verification of programs with linear linked structures

Milan Češka; Pavel Erlebach; Tomáš Vojnar

Năm xuất bản2007

Nguồn học thuậtFormal Aspects of Computing

Định danhDOI 10.1007/s00165-007-0031-x

TRÍCH DẪN ĐỀ XUẤTAPA 7

Milan Češka; Pavel Erlebach; Tomáš Vojnar (2007). Generalised multi-pattern-based verification of programs with linear linked structures. Formal Aspects of Computing, 19(3), 363-374. https://doi.org/10.1007/s00165-007-0031-x

Thông tin thư mục

Nguồn/Tạp chí: Formal Aspects of Computing
Tập: 19
Số: 3
Trang: 363-374
Nhà xuất bản: Association for Computing Machinery (ACM)
DOI: 10.1007/s00165-007-0031-x ↗