Kovács László: Számítógép-hálózati protokollok formális specifikálása és verifikálása (SZTAKI Tanulmányok 138/1982)

Next