Erika Nyari

According to our database, Erika Nyari authored at least 2 papers between 1982 and 1983.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1983

SOFSPEC: A Pragmatic Approach to Automated Specification Verification.

Erika Nyari, Harry M. Sneed

Proceedings of the 3rd Int. Conf. on Entity-Relationship Approach (ER'83), 1983

1982

SOFSPEC: A pragmatic approach to automated specification verification.

Erika Nyari

Proceedings of the Software-Qualitätssicherung, 1982