Carlos Mão de Ferro et al.: Formalizing Model Inference of MicroPython. (2023)conf/dsn/FerroCM2310.1109/DSN-W58399.2023.00069Formalizing Model Inference of MicroPython.3Carlos Mão de Ferro1Tiago Cogumbreiro2Francisco Martins3283-289DSN-WDSN-W20232023provenance information for RDF data of dblp record 'conf/dsn/FerroCM23'2023-08-17T15:16:15+0200