Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Iu.D. Korenkov
Verification of Dynamic Memory Allocators Based on Symbolic Program Execution
Scientific and Technical Journal of Information Technologies, Mechanics and Optics
