Repository navigation

masters-dissertation

Public

About

My Master's dissertation

1 star

3 watching

Report repository

Name		Name	Last commit message	Last commit date
PosTextuais		PosTextuais
PreTextuais		PreTextuais
Textuais		Textuais
figures		figures
.gitignore		.gitignore
PacotesBasicos.tex		PacotesBasicos.tex
README.org		README.org
dissertation.bib		dissertation.bib
dissertation.org		dissertation.org
dissertation.pdf		dissertation.pdf
dissertation.tex		dissertation.tex
header.tex		header.tex
meta.tex		meta.tex
pretext.tex		pretext.tex
tla.tex		tla.tex
tlatex.sty		tlatex.sty

Repository files navigation

Test Generation From TLA+ Specifications

My Master’s dissertation. Source code is at dissertation.org.

About

My Master's dissertation

1 star

3 watching

Report repository

Releases

Packages

Contributors

Languages