Programmatūras uzticamības paaugstināšana: Dziļa analīze tipdrošā resursu pārvaldībā ar sistēmas piešķiršanas tipiem | MLOG | MLOG