Experiences and new alternatives for teaching formal verification of Java programs

  1. Romero, A.
  2. Divasón, J.
Proceedings:
Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE

ISSN: 1942-647X

ISBN: 9781450357074

Year of publication: 2018

Pages: 383

Type: Conference paper

DOI: 10.1145/3197091.3205811 GOOGLE SCHOLAR
Data source: Scopus