132
click to vote
NFM
2011
14 years 9 months ago
2011
Abstract. Tabular expressions have been successfully used in developing safety critical systems, however insufficient tool support has hampered their wider adoption. To address thi...