Program verification with interacting analysis plugins” Formal Aspects of Computing (2007)

by Nathaniel Charlton
Venue:375 Special Issue on ICIT 2009 Conference - Bioinformatics and Image UbiCC Journal – Volume