Bibliographic Details
| Title: |
Temporal Requirement Patterns in Deductive Verification of Process-Oriented Programs |
| Authors: |
Chernenko, Ivan M., Anureev, Igor S. |
| Source: |
2024 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON) Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), 2024 IEEE International. :451-456 Sep, 2024 |
| Relation: |
2024 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON) |
| Database: |
IEEE Xplore Digital Library |