Brazilian Symposium on Formal Methods (17th : 2014 : Maceió, Brazil)
SBMF 17. 2014 Maceió
VIAF ID: 313479520 ( Corporate )
Permalink: http://viaf.org/viaf/313479520
Preferred Forms
4xx's: Alternate Name Forms (5)
5xx's: Related Names (1)
- 551 _ _ ‡a Maceió
Works
Title | Sources |
---|---|
Formal methods: foundations and applications, [2015]: |