Verification of Dynamic Memory Allocators Based on Symbolic Program Execution
Scientific and Technical Journal of Information Technologies, Mechanics and Optics
doi 10.17586/2226-1494-2020-20-1-101-109
Full Text
Open PDFAbstract
Available in full text
Date
February 1, 2020
Authors
Publisher
ITMO University