Normal view
MARC view
Rybalchenko, Andrey (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): VMCAI 2012 (2012 : Philadelphia, Pa.) 44868, Verification, Model Checking, and Abstract Interpretation :, 2012.