Login
- Titel:
User Guide for the FOCUS representation in LaTeX
- Dokumenttyp:
- Technical Report
- Autor(en):
- 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.
- Stichworte:
- Focus; LaTeX
- Jahr:
- 2011
- Jahr / Monat:
- 2011-10-28 00:00:00
- Seiten/Umfang:
- 15
BibTeX