Integrating Automated Verification into Interactive Systems Development uri icon

autores

  • José Francisco Creissac Freitas de Campos

data de publicação

  • janeiro 1, 1998