- Title
- N3880 Improving the Verification of C++ Programs
- Status
- open
- Section
- [intro]
- Submitter
- Michael Price
Created on 2014-01-16.00:00:00 last changed 144 months ago
Messages
Date: 2014-01-16.00:00:00
http://open-std.org/JTC1/SC22/WG21/docs/papers/2014/n3880.html
Issaquah 2014: The paper was presented to EWG, and the author was encouraged to continue working on the idea and to come up with concrete proposals for EWG to vote on.
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2014-01-16 00:00:00 | admin | create | |