VSL 2014: VIENNA SUMMER OF LOGIC 2014

Test-Input Generation using Computational Real Algebraic Geometry

Author: Hoon Hong

PapersPapers with AbstractsPrefaceAuthor IndexKeyword IndexAdditional files

Paper Information

Title:Test-Input Generation using Computational Real Algebraic Geometry
Authors:Hoon Hong
Proceedings:PAS 2014 Proceedings
Editors: Dongming Wang, Tudor Jebelean and Wei Li
Keywords:
Abstract:
Pages:1
Talk:Jul 18 09:15
Paper:
Disclaimer | Powered by EasyChair Smart Program