Invariant Detection Using Enhanced Autoinfer

Saved in:
Bibliographic Details
Published in:Journal of software 2017-10, Vol.12 (10), p.816-823
Main Authors: Ashraf, Sadia, Abbasi, Almas
Format: Article
Language:English
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:1796-217X
1796-217X
DOI:10.17706/jsw.12.10.816-823