易秋萍   

Supervisor of Doctorate Candidates
Supervisor of Master's Candidates

MORE> Recommended Ph.D.Supervisor Recommended MA Supervisor
Language：En

Paper Publications

Title of Paper:Efficient Loop-Extended Model Checking of Data Structure Methods

Hits:

Journal:International Conferences ASEA

Discipline:Engineering

First-Level Discipline:Computer science and technology *

Translation or Not:no

Date of Publication:2011-12-12

Copyright Convention Beijing Post and Telecommunications University Address: 1000876 Beijing ICP, 05064445 Beijing Public Website 1104 02430070
Click:    MOBILE Version login BUPT

Opening Time:..

The Last Update Time: ..