The Non-Interference Protection in BML

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiThe Non-Interference Protection in BML
Adres internetowy
Tytuł czasopismaELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Medium
Tom253
Zeszyt5
Rok wydania2009
Od strony113
Do strony127
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2009

Lista autorów
  
 1. Aleksy Schubert, Zakład Logiki Stosowanej [Współautor]
 2. Daria Walukiewicz-Chrz±szcz, Zakład Logiki Stosowanej [Współautor]