VSL 2014: VIENNA SUMMER OF LOGIC 2014

Extensible Symbolic System Analysis

Author: Jose Meseguer

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Extensible Symbolic System Analysis
Authors:Jose Meseguer
Proceedings:UNIF 2014 Short Papers
Editors: Temur Kutsia and Christophe Ringeissen
Keywords:
Abstract:
Pages:4
Talk:Jul 13 09:15
Paper:
Disclaimer | Powered by EasyChair Smart Program