About José Proença

Computer Scientist, Software Engineer, Formal Methods addicted. Interested in concurrent systems, Scala, software product lines, and real-time systems.

Lists

Timeline

jproenca has no activity yet