Showing 1 - 1 results of 1 for search 'Andre Rauber Du Bois', query time: 0.03s Refine Results
  1. 1
    Towards an Extrinsic Formalization of Featherweight Java in Agda

    Towards an Extrinsic Formalization of Featherweight Java in Agda by Samuel Feitosa, Rodrigo Geraldo Ribeiro, Andre Rauber Du Bois

    Published 2021-12-01
    Get full text
    Article

Search Tools: