View in EDS HTML Full Text PDF Full Text

A regression proof selection tool for coq.

Saved in:

Bibliographic Details
Title:	A regression proof selection tool for coq.
Authors:	Celik, Ahmet, Palmskog, Karl, Gligoric, Milos
Source:	ICSE: International Conference on Software Engineering; 5/27/2018, p117-120, 4p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Description
DOI:	10.1145/3183440.3183493