FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Automatic Termination Analysis Using WANDA

Author: Cynthia Kop

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Automatic Termination Analysis Using WANDA
Authors:Cynthia Kop
Proceedings:HOR Pre-proceedings
Editor: Stefano Guerrini
Keywords:
Abstract:
Pages:8
Paper: