Model checking of concurrent programs with static analysis of field accesses
| Autor: | Parízek, Pavel, Lhoták, Ondřej |
|---|---|
| Zdroj: | In Science of Computer Programming 1 February 2015 98 Part 4:735-763 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Parízek, Pavel, Lhoták, Ondřej |
|---|---|
| Zdroj: | In Science of Computer Programming 1 February 2015 98 Part 4:735-763 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect