Lucio Mauro Duarte

From MaRDI portal

Revision as of 01:34, 25 September 2023 by Import230924090903 (talk | contribs) (Created automatically from import230924090903)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:2787341

Jump to:navigation, search

Available identifiers

zbMath Open duarte.lucio-mauroMaRDI QIDQ2787341

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Graph Grammar Extraction from Source Code	2022-11-04	Paper
Use Case Analysis Based on Formal Methods: An Empirical Study	2016-02-25	Paper
Model Checking the Ant Colony Optimisation	2010-10-27	Paper

Research outcomes over time

This page was built for person: Lucio Mauro Duarte

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2787341&oldid=6694963"