 | Tool for file transfer |
|
For all Windows users: There is a free tool for the file transfer between local workstation and remote server. This tool provides a GUI for the secure copy (scp) command. It is easier to use then the command line version. You can download it from this webpage: http://winscp.net/ There is also a German version available. GM |
Formal Methods in Software Development (SS 2007)
|