Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers.

Mark Santolucito, Ruzica Piskac

Browse the full SIGCSE paper archive.