Anders Børjesson, Kim Guldstrand Larsen, Arne Skou. Generality in Design and Compositional Verification Using TAV. Formal Methods in System Design, 6(3):239-258, 1995.
@article{BorjessonLS95,
title = {Generality in Design and Compositional Verification Using TAV},
author = {Anders Børjesson and Kim Guldstrand Larsen and Arne Skou},
year = {1995},
tags = {composition, design},
researchr = {https://researchr.org/publication/BorjessonLS95},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {6},
number = {3},
pages = {239-258},
}