Inproceedings,

Inspection of Safety-Critical Software Using Program-Function Tables.

.
IFIP Congress (3), volume A-53 of IFIP Transactions, page 270-277. North-Holland, (1994)

Meta data

Tags

Users

  • @dblp

Comments and Reviews