BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Portugal
Collaborated with:
∅ M.Wermelinger
Talks about:
automata (1) toolkit (1) languag (1) discuss (1) prolog (1) formal (1) forum (1) move (1) mail (1) list (1)

Person: Artur Miguel Dias

DBLP DBLP: Dias:Artur_Miguel

Contributed to:

ITiCSE 20052005

Wrote 2 papers:

ITiCSE-2005-Dias
Moving from mailing lists to web-based discussion forums (AMD), p. 373.
ITiCSE-2005-WermelingerD #automaton #formal method #prolog #tool support
A prolog toolkit for formal languages and automata (MW, AMD), pp. 330–334.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.