Uporaba sistemov za avtomatsko preverjanje pravilnosti programov pri programiranju

author: Matija Lokar, Fakulteta za matematiko in fiziko, Univerza v Ljubljani
published: March 8, 2017,   recorded: March 2016,   views: 848

See Also:

Download slides icon Download slides: rtk2016_lokar_uporaba_sistemov_01.pdf (3.1 MB)

Help icon Streaming Video Help

Related Open Educational Resources

Related content

Report a problem or upload files

If you have found a problem with this lecture or would like to send us extra material, articles, exercises, etc., please use our ticket system to describe your request and upload the data.
Enter your e-mail into the 'Cc' field, and we will keep you updated with your request's status.
Lecture popularity: You need to login to cast your vote.

Link this page

Would you like to put a link to this lecture on your homepage?
Go ahead! Copy the HTML snippet !

Write your own review or comment:

make sure you have javascript enabled or clear this field: