View in EDS HTML Full Text PDF Full Text

SymInfer: inferring numerical invariants using symbolic states.

Saved in:

Bibliographic Details
Title:	SymInfer: inferring numerical invariants using symbolic states.
Authors:	Nguyen, ThanhVu¹, Nguyen, KimHao², Duong, Hai³
Source:	ICSE: International Conference on Software Engineering; 2022, p197-201, 5p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Be the first to leave a comment!