research article

Modular Pluggable Analyses for Data Structure Consistency

Kuncak, Viktor  orcid-logo
•
Lam, Patrick
•
Zee, Karen
Show more
2006
IEEE Transactions on Software Engineering
Type
research article
DOI
10.1109/TSE.2006.125
Author(s)
Kuncak, Viktor  orcid-logo
Lam, Patrick
Zee, Karen
Rinard, Martin
Date Issued

2006

Published in
IEEE Transactions on Software Engineering
Volume

32

Issue

12

Start page

988

End page

1005

Editorial or Peer reviewed

REVIEWED

Written at

OTHER

EPFL units
LARA  
Available on Infoscience
August 21, 2007
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/10396