Verifying object construction
- Award ID(s):
- 2007024
- NSF-PAR ID:
- 10229554
- Date Published:
- Journal Name:
- ICSE '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering
- Page Range / eLocation ID:
- 1447 to 1458
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
No document suggestions found