Conference
Biform Theories: Project Description.
Authors
Carette J; Farmer WM; Sharoda Y
Editors
Rabe F; Farmer WM; Passmore GO; Youssef A
Series
Lecture Notes in Computer Science
Volume
11006
Pagination
pp. 76-86
Publisher
Springer
Publication Date
2018
ISBN-13
978-3-319-96811-7
Conference proceedings
CICM