UniTESK Lab. on conference "New Generation Internet'' |
Tuesday, 14 October 2003 |
On October 6--10 2nd International Conference "New Generation Internet'' was held in Yaroslavl, Russia. A report on testing IPv6 implementation by means of formal methods was given at the conference.
|
|