Rankings
Publications
Search Publications
Cited-by Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Scilit
About Us
Advisory Board
Data Sources
Career
Support / Contact
User Guide
Publisher User
Search Function
Rankings Function
API Resource
Scilit Knowledge
Metrics
Scilit Recognitions
Publications Classification
Media
News
Blog
Login
Register
Home
Publications
Using induction and rewriting to verify and complete parameterized specifications
Home
Publications
Using induction and rewriting to verify and complete parameterized specifications
Using induction and rewriting to verify and complete parameterized specifications
Author:
AB
A Bouhoula
A Bouhoula
Article Alert
Citation Alert
Add to Library
Cite
Download
Share
Download
Publisher website
Google Scholar
15 December 1996
journal article
Published by
Elsevier
in
Theoretical Computer Science
Vol. 170
(1-2)
,
245-276
DOI:
10.1016/s0304-3975(96)00005-9
Abstract
No abstract available
Keywords
USING INDUCTION
PARAMETERIZED SPECIFICATIONS
COMPLETE PARAMETERIZED
VERIFY
INDUCTION AND REWRITING
Cited
Cited by 3 articles
Scroll to top