7 citations · 7 across the 1 of their papers we have counts for
1 paper
Kokichi Futatsugi
Critical flaws continue to exist at the level of domain, requirement, and/or design specification, and specification verification (i.e., to check whether a specification has desira…