Conference
Temporal Requirement Patterns in Deductive Verification of Process-Oriented Programs
| Τίτλος: | Temporal Requirement Patterns in Deductive Verification of Process-Oriented Programs |
|---|---|
| Συγγραφείς: | Chernenko, Ivan M., Anureev, Igor S. |
| Πηγή: | 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) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
καταχωρήστε σχόλιο πρώτοι!