Skip to main content

New answers tagged

0 votes

Z vs B-method vs VDM?

These methods share underlying principles but differ syntactically. Different tools support either one. I don't believe a value judgement should split them.
Kai's user avatar
  • 917

Top 50 recent answers are included