Vasiliy Fofanov

According to our database, Vasiliy Fofanov authored at least 4 papers between 1996 and 2000.

Collaborative distances:

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

2000

ASIS-for-GNAT: A Report of Practical Experiences.

Sergey Rybin, Alfred Strohmeier, Vasiliy Fofanov, Alexey Kuchumov

Proceedings of the Reliable Software Technologies, 2000

1998

Quality-for-ASIS: A Portable Testing Facility for ASIS.

Alfred Strohmeier, Vasiliy Fofanov, Sergey Rybin, Stéphane Barbey

Proceedings of the Reliable Software Technologies, 1998

1997

ASIStint: An Interactive ASIS Interpreter.

Vasiliy Fofanov, Sergey Rybin, Alfred Strohmeier

Proceedings of the Conference, The annual meeting of the Ada programming world, 1997

1996

ASIS for GNAT: From the Prototype to the Full Implementation.

Sergey Rybin, Alfred Strohmeier, Alexey Kuchumov, Vasiliy Fofanov

Proceedings of the Reliable Software Technologies, 1996