Academic
Conferences
SPIN - International Workshop on Model Checking of Software

International Workshop on Model Checking of Software,SPIN,Software Engineering

SPIN - International Workshop on Model Checking of Software
Publications: 644| Citation Count: 14,721 (Self-Citation: 412)
Year Range: 1960-2010
Fields of study: Software Engineering
Cumulative Annual
Sort by: