Efficient Loop-Extended Model Checking of Data Structure Methods
Hits:
Journal:International Conferences ASEA
Indexed by:Essay collection
Discipline:Engineering
First-Level Discipline:Computer science and technology *
Translation or Not:no
Date of Publication:2011-12-12
Opening Time:..
The Last Update Time: ..