User: Guest  Login
Title:

User Guide for the FOCUS representation in LaTeX

Document type:
Technical Report
Author(s):
Maria Spichkova
Abstract:
Focus is a framework for the formal specifications and development of interactive systems. The package focus.sty provides a flexible user interface for representation of the Focus specifications in LaTeX. It allows usage of Focus frame and operators in simple and natural way. This user guide gives detailed introduction to the package and also short description for the Focus operators and frames.
Keywords:
Focus; LaTeX
Year:
2011
Year / month:
2011-10-28 00:00:00
Pages:
15
 BibTeX