Special Issue: Linearity and Special Issue: Selected Extended Papers of NFM 2017 edited by Iliano Cervesato, Maribel Fernandez, Clark Barrett, and Temesghen Kahsai, vol. 63, Springer, Dec. 2019.

Abstract

This special issue consists of extended versions of papers selected from the 9th NASA Formal Methods Symposium (NFM 2017). The symposium was held at the NASA Ames Research Center, Moffett Field, CA, on May 16 - 18, 2017.

BibTeX entry:

@book{CFB+19,
   editor = {Iliano Cervesato and Maribel Fernandez and Clark Barrett and
	Temesghen Kahsai},
   title = {Special Issue: Linearity and Special Issue: Selected Extended
	Papers of NFM 2017},
   series = {Journal of Automated Reasoning},
   volume = {63},
   number = {4},
   publisher = {Springer},
   month = dec,
   year = {2019},
   issn = {0168-7433},
   url = {https://link.springer.com/journal/10817/63/4}
}

(This webpage was created with bibtex2web.)