Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Formal_methods_publications> . }
Showing items 1 to 7 of
7
with 100 items per page.
- Acta_Informatica subject Category:Formal_methods_publications.
- Formal_Aspects_of_Computing subject Category:Formal_methods_publications.
- Innovations_in_Systems_and_Software_Engineering subject Category:Formal_methods_publications.
- Journal_of_Automated_Reasoning subject Category:Formal_methods_publications.
- Journal_of_Logic_and_Computation subject Category:Formal_methods_publications.
- Logical_Methods_in_Computer_Science subject Category:Formal_methods_publications.
- Unifying_Theories_of_Programming subject Category:Formal_methods_publications.