Publication schedule
-
№2 June 2024
-
№3 September 2024
-
№4 December 2024
Articles by keywords "formal verification"
Formal verification for a C0 implementation of the heapsort algorithm
- Year: 2010
- Issue: 4
- 0
- 5199
- Pages: 83-92