DiegodeAzevedo

Pinned Repositories

• SGAC

  SGAC - Z3

  Language:Alloy00

• SGAC-z3py-public

  sgacz3py

  Language:Alloy01

• tastd-casestudy-abz-2020

  ASTD models of ABZ 2020 case study

  00

• sf-pt_br

  Fundações do Software (livro eletrônico)

  Language:HTML10

• BTestBox

  A test code generator for B method

  Language:Nextflow00

DiegodeAzevedo's Repositories